void world(void);

void worldinput(int NBR, char* inbuffer);

void worldINIT(void);
